QnAs with Nancy A. Lynch.
نویسنده
چکیده
In computer science, distributed systems involve many processors cooperating to complete a certain task—a field with significance for the current age of wireless communications and cloud computing. Nancy Lynch, the NEC Professor of Software Science and Engineering at the Massachusetts Institute of Technology, literally wrote the book on distributed computing. Her textbook Distributed Algorithms is considered a definitive reference work for the field. Her contributions to the field include impossibility results—such as her well-known “FLP” result—that establish theoretical limits on what distributed systems can accomplish. In recognition of her work, Lynch was elected to the National Academy of Engineering in 2001 and the National Academy of Sciences in 2016, among numerous other awards and honors. PNAS spoke with Lynch about her work.
منابع مشابه
Dimensionality Reduction for k-Means Clustering
In this thesis we study dimensionality reduction techniques for approximate k-means clustering. Given a large dataset, we consider how to quickly compress to a smaller dataset (a sketch), such that solving the k-means clustering problem on the sketch will give an approximately optimal solution on the original dataset. First, we provide an exposition of technical results of [CEM15], which show t...
متن کاملThe New Modeling for MPPT Control of Photovoltaic Cellules
Consideration of the Current-voltage (I-V) characteristics variations of solar modules with temperature and irradiations variations is basic for maximum power point tracking (MPPT). Having a simple and accurate mathematical model for the optimize utilization of the solar modules is essential. In this paper, a novel modeling of photovoltaic systems with novel coefficients is proposed for mathema...
متن کاملThe New Modeling for MPPT Control of Photovoltaic Cellules
Consideration of the Current-voltage (I-V) characteristics variations of solar modules with temperature and irradiations variations is basic for maximum power point tracking (MPPT). Having a simple and accurate mathematical model for the optimize utilization of the solar modules is essential. In this paper, a novel modeling of photovoltaic systems with novel coefficients is proposed for mathema...
متن کاملAn Overview of Clock Synchronization
This is a summary of the theoretical work to date involving synchronizing clocks in distributed computer systems. It is based on talks given by Nancy Lynch and Barbara Simons at the IBM Fault-Tolerant Computing Workshop held at Asilomar, California, March 1986. Draft of February 24, 1999
متن کاملTimestamp Ordering and Nested Transactions
Using the [LM] model for database concurrency control and recovery, we describe a general method for proving serial correctness of concurrency control algorithms which use timestamp ordering. This method is then used to prove serial correctness of Reed's [R] object history mechanism. Thesis Supervisor: Title: Nancy Lynch Professor of Computer Science, Massachusetts Institute of Technology
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Proceedings of the National Academy of Sciences of the United States of America
دوره 114 40 شماره
صفحات -
تاریخ انتشار 2017